7

Validating Component Integration with C-TILCO: A Case Study

Year:
2005
Language:
english
File:
PDF, 249 KB
english, 2005
8

Expressing and organizing real-time specification patterns via temporal logics

Year:
2009
Language:
english
File:
PDF, 483 KB
english, 2009
12

Change of strength of vortex pinning in YBCO due to BaZrO3 inclusions

Year:
2008
Language:
english
File:
PDF, 1.09 MB
english, 2008
14

Untersuchung des Narkoseäthers

Year:
1919
Language:
german
File:
PDF, 187 KB
german, 1919
45

PPARγ in Inflammatory Bowel Disease

Year:
2012
Language:
english
File:
PDF, 408 KB
english, 2012